Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
481	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Predicate logic Functional languages Fixed-point combinator Id First-order logic Simply typed lambda calculus Isabelle Mathematical logic Logic Theoretical computer science
482	Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions∗ Chita Baral and Juraj Dzifcak Tran Cao Son Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2008-11-11 15:26:22 Predicate logic Formal languages Philosophical logic Lambda calculus Combinatory logic First-order logic Categorial grammar Function Quantification Logic Mathematical logic Mathematics
483	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Proof theory Predicate logic Type theory First-order logic Sequent Isabelle Higher-order logic Logical framework Logic Mathematical logic Mathematics
484	PDF Document Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2013-03-27 17:14:52 Propositional calculus Semantics Logical syntax Propositional variable First-order logic Interpretation Function Atomic formula Well-formed formula Logic Mathematical logic Predicate logic
485	Proof Optimization for Partial Redundancy Elimination Ando Saabas Tarmo Uustalu Institute of Cybernetics, Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:23:54 Predicate transformer semantics Hoare logic Partial redundancy elimination Program logic Theoretical computer science Formal methods
486	Knowledge Vault: A Web-Scale Approach to Probabilistic Knowledge Fusion ∗ Xin Luna Dong , Evgeniy Gabrilovich, Geremy Heitz, Wilko Horn, Ni Lao, † Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-08-22 01:00:52 Natural language processing Semantics Computational linguistics Bayesian statistics Philosophy of science Information extraction Knowledge representation and reasoning Prior probability Predicate Logic Science Linguistics
487	Markov Logic Networks Matthew Richardson ([removed]) and Pedro Domingos ([removed]) Department of Computer Science and Engineering, University of Washington, Seattle, WA[removed], U.S.A. Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-04-12 19:05:26 Predicate logic Model theory Artificial intelligence Theoretical computer science Markov logic network Interpretation First-order logic Markov chain Markov random field Logic Mathematical logic Mathematics
488	Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Lambda calculus Logic Predicate logic Computability theory De Bruijn index Free variables and bound variables Closure Monad Combinatory logic Mathematics Software engineering Computing
489	p. 235 precedence of √ moved from level 12 to level 2 ------------------------------------p.235 change “means” to “means the same as” 3 times. ------------------------------------p. Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-12-03 23:27:32 Elementary mathematics Predicate logic Semantics Model theory Variable FO Expected value Function Quantification Mathematics Logic Mathematical logic
490	Finding Temporal Patterns using Constraints on (Partial) Absence, Presence and Duration S. Peter and F. H¨oppner Ostfalia University of Applied Sciences Robert Koch Platz 10-14, DWolfsburg Add to Reading List Source URL: public.fh-wolfenbuettel.de Language: English - Date: 2013-03-21 17:48:01 Dynamic time warping Time series analysis Logic programming Association rule learning Predicate Statistics Software engineering Programming paradigms Linguistics Dynamic programming

UPDATE